1. Advanced mathematical & computational tools in metrology VII /
پدیدآورنده : editors, P. Ciarlini [and others].
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Measurement, Congresses.,Physical measurements, Congresses.,MATHEMATICS-- Measurement.,Measurement.,Physical measurements.,TECHNOLOGY & ENGINEERING-- Measurement.
رده :
QA465
.
A273
2006eb
2. An Integrated Approach to Software Engineering
پدیدآورنده : by Pankaj Jalote.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Software engineering.
3. Analytic methods in systems and software testing /
پدیدآورنده : edited by Ron S. Kenett, KPA, Israel and Neaman Institute, Technion, Israel, Fabrizio Ruggeri, CNR-IMATI, Italy, Frederick W. Faltin, the Faltin Group, and Virginia Tech, USA.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer software-- Testing.,Computer software-- Testing.,COMPUTERS-- Software Development & Engineering-- Quality Assurance & Testing.
رده :
QA76
.
76
.
T48
A52
2018eb
4. Architecting critical systems
پدیدآورنده : / Holger Giese (ed.
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Fault-tolerant computing, Congresses,Computer architecture, Congresses,System design, Congresses,Software engineering, Congresses
رده :
QA76
.
9
.
F38I83
2010
5. Computer Aided Verification :
پدیدآورنده : edited by Rajeev Alur, Thomas A. Henzinger.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Logic design.,Software engineering.
6. Computer simulation validation :
پدیدآورنده : edited by Claus Beisbart, Nicole J. Saam.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer simulation.,Science-- Philosophy.,Computer simulation.,Computer software-- Validation.
رده :
QA76
.
9
.
C65
7. Dependable Computing for Critical Applications 2
پدیدآورنده : edited by John F. Meyer, Richard D. Schlichting.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Electronic data processing.,Software engineering.
رده :
QA76
.
9
.
F38
E358
1992
8. Dependable computing for critical applications 3
پدیدآورنده : C.E. Landwehr, B. Randell, L. Simoncini, eds.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Application software.,Falhas computacionais.,Fault-tolerant computing.
رده :
QA76
.
9
.
F38
C453
1993
9. Engineering high quality medical software :
پدیدآورنده : Antonio Coronato.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Medical care-- Information technology.,Medical informatics.,Medicine-- Computer programs.,Medicine-- Data processing.,Computing Methodologies.,Medical Informatics-- standards.,Software Design.,certification.,HEALTH & FITNESS-- Holism.,HEALTH & FITNESS-- Reference.,MEDICAL-- Alternative Medicine.,MEDICAL-- Atlases.,medical computing.,MEDICAL-- Essays.,MEDICAL-- Family & General Practice.,MEDICAL-- Holistic Medicine.,Medical informatics.,MEDICAL-- Osteopathy.,Medicine-- Computer programs.,Medicine-- Data processing.,software quality.,standards.
رده :
R858
.
C67
2018eb
10. Explore it! :
پدیدآورنده : Elisabeth Hendrickson.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer software-- Testing.,Computer software-- Validation.,Computer software-- Verification.,Computer software-- Testing.,Computer software-- Validation.,Computer software-- Verification.
رده :
QA76
.
75
.
H463
2014
11. FM '99 - formal methods / 2.
پدیدآورنده : Jeannette M. Wing ... (ed.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع :
12. Formal Methods for Open Object-based Distributed Systems V Ifip Tc6
پدیدآورنده : Wg6.1 Fifth International Conference on Formal Methods for Open Object-based Distributed Systems (Fmoods 2002) March 20-22, 2002, Enschede.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع :
رده :
TK7895
.
M5
W445
2013
13. Formal methods in standards :
پدیدآورنده : from the BCS working group ; ed. by C.L.N. Ruggles.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع :
رده :
QA76
.
9
.
S8
F766
1990
14. Fuzzing for software security testing and quality assurance /
پدیدآورنده : Ari Takanen, Jared DeMott, Charlie Miller, Atte Kettunen.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer networks-- Security measures.,Computer security.,Computer software-- Development.,Computer networks-- Security measures.,Computer security.,Computer software-- Development.,COMPUTERS-- Security-- General.
رده :
QA76
.
9
.
A25
F89
2018eb
15. Handbook of software engineering /
پدیدآورنده : Sungdeok Cha, Richard N. Taylor, Kyochul Kang, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Software engineering, Handbooks, manuals, etc.,Software engineering.
رده :
QA76
.
758
16. IEEE standard for software and system test documentation /
پدیدآورنده : sponsor, Software & Systems Engineering Standards Committee of the IEEE Computer Society.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer programs-- Testing-- Standards.,Electronic data processing documentation-- Standards.,Technical writing-- Standards.,Computer programs-- Testing-- Standards.,Electronic data processing documentation-- Standards.,Technical writing-- Standards.
رده :
QA76
.
9
.
D6
I433
2008eb
17. Industrial and Engineering Applications of Artificial Intelligence and Expert Systems :
پدیدآورنده : edited by Fevzi Belli, Franz Josef Radermacher.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Business.,Computer science.,Management science.
رده :
Q334
.
E358
1992
18. Industrial sensors and controls in communication networks :
پدیدآورنده : Dong-Seong Kim, Hoa Tran-Dang.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Control theory.,Telecommunication systems-- Management.,Wireless sensor networks.,Control theory.,Telecommunication systems-- Management.,Wireless sensor networks.
رده :
TK7872
.
D48
K56
2019
19. Knowledge-based software engineering :
پدیدآورنده : edited by Maria Virvou and Taichi Nakamura.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Expert systems (Computer science), Congresses.,Software engineering, Congresses.,COMPUTERS-- Expert Systems.,Expert systems (Computer science),Software engineering.
رده :
QA76
.
76
.
E95
J65
2008eb
20. Leveraging applications of formal methods, verification and validation :
پدیدآورنده : Tiziana Margaria, Bernhard Steffen (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer software-- Verification, Congresses.,Formal methods (Computer science), Congresses.,Machine learning, Congresses.,Robots-- Programming, Congresses.,Computer networking & communications.,Computer science.,Computer software-- Verification.,Computers-- Computer Science.,Computers-- General.,Computers-- Hardware-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Information technology: general issues.,Machine learning.,Program concepts-- learning to program.,Programming & scripting languages: general.,Robots-- Programming.,Software Engineering.
رده :
QA76
.
9
.
F67
